object TBourbakiDoc
  ActivePage = 1
  object HI2FXHMDFP3QSC14HLJSDSC0DJ: TOpScheme
    Caption = #1057#1093#1077#1084#1072' '#1089#1080#1085#1090#1077#1079#1072
    PageIndex = 0
    object F3DMTJPAYM4ITW11OGKDQIFLIC: TOSNode
      X = 276.000000000000000000
      Y = 115.000000000000000000
      Scheme = _198337A10BE0420AB90F516A1DF36C6B
    end
    object C1Y4UZYAPC3ZTCIC1PQWKKYYJP: TOSNode
      Scheme = FKNSGKLJJC2RSS10C50DDWU214
    end
    object CHC5KKWH2TWUTWYZ2DTMKS1QLE: TOSNode
      Scheme = ECPLASSPPU3RTUZTRYLO3NXDNW
    end
  end
  object _198337A10BE0420AB90F516A1DF36C6B: TConceptualScheme
    Caption = #1057#1093#1077#1084#1072' '#1096#1072#1073#1083#1086#1085#1086#1074
    PageIndex = 2
    object EAXIP3KLKCHRS2KICHRMLTCRHG: TConstituent
      CName = 'X1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080
    end
    object CA23UKGYTXXMTILHS25SR0C4I5: TConstituent
      CName = 'X2'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1091#1073#1098#1077#1082#1090#1086#1074
    end
    object GXKQVF21GNENQ014T34V5GXJYO: TConstituent
      CName = 'D1'
      Expression = #8492#8492'('#8492'(X1)'#215#8492'(X1))'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1096#1072#1073#1083#1086#1085#1086#1074' '#1084#1099#1096#1083#1077#1085#1080#1103' ('#1087#1088#1086#1094#1077#1089#1089#1086#1088#1086#1074') '#1082#1072#1082' '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1084#1085#1086 +
        #1078#1077#1089#1090#1074#1086' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080' '#1085#1072' '#1074#1093#1086#1076#1077', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080' '#1085#1072' '#1074#1099#1093#1086#1076#1077
    end
    object DG5ICZHJESPUTSZF3YTZZJJZGG: TConstituent
      Draft = True
      CName = 'Ax1'
      Expression = #8704'E'#8712'D1 (pr1(E)'#8745'pr2(E)='#8709')'
      Interpretation = #1054#1090#1089#1091#1090#1089#1090#1074#1080#1077' '#1087#1077#1090#1077#1083#1100' ('#1093#1086#1083#1086#1089#1090#1099#1093' '#1096#1072#1073#1083#1086#1085#1086#1074')'
    end
    object DD55VABTE20ASG1L55WFAHNHCY: TConstituent
      Draft = True
      CName = 'Tr1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1093#1086#1076#1103#1097#1077#1081' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080' '#1076#1083#1103' '#1076#1072#1085#1085#1086#1075#1086' '#1096#1072#1073#1083#1086#1085#1072' ('#1076#1072#1085#1085#1099#1077')'
    end
    object A5OIWO10N2VOT012IPTTUT2FJR: TConstituent
      Draft = True
      CName = 'Tr2'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1099#1093#1086#1076#1103#1097#1077#1081' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080' '#1076#1083#1103' '#1076#1072#1085#1085#1086#1075#1086' '#1096#1072#1073#1083#1086#1085#1072' ('#1074#1099#1074#1086#1076#1099')'
    end
    object AT0BLBVHXY2GT2LY1ALSVJGBLA: TConstituent
      Draft = True
      CName = 'Tr1'
      Interpretation =
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080', '#1082#1086#1090#1086#1088#1072#1103' '#1085#1077' '#1103#1074#1083#1103#1077#1090#1089#1103' '#1074#1099#1093#1086#1076#1103#1097#1077#1081' '#1085#1080' '#1080#1079' '#1082#1072#1082#1086#1075#1086 +
        ' '#1096#1072#1073#1083#1086#1085#1072', '#1085#1086' '#1103#1074#1083#1103#1077#1090#1089#1103' '#1074#1093#1086#1076#1103#1097#1077#1081' '#1074' '#1082#1072#1082#1086#1081'-'#1083#1080#1073#1086' '#1096#1072#1073#1083#1086#1085' ('#1095#1080#1089#1090#1086#1077' '#1085#1072#1073#1083#1102 +
        #1076#1077#1085#1080#1077')'#13#10
    end
    object E1QJVLJKYO5RQMY0ZGR0KNCHOL: TConstituent
      Draft = True
      CName = 'Tr1'
      Interpretation =
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080', '#1082#1086#1090#1086#1088#1072#1103' '#1085#1077' '#1103#1074#1083#1103#1077#1090#1089#1103' '#1074#1093#1086#1076#1103#1097#1077#1081' '#1074' '#1082#1072#1082#1086#1081'-'#1083#1080#1073#1086' ' +
        #1096#1072#1073#1083#1086#1085', '#1085#1086' '#1103#1074#1083#1103#1077#1090#1089#1103' '#1074#1099#1093#1086#1076#1103#1097#1077#1081' '#1080#1079' '#1082#1072#1082#1086#1075#1086'-'#1083#1080#1073#1086' '#1096#1072#1073#1083#1086#1085#1072' ('#1095#1080#1089#1090#1099#1077' '#1074#1099#1074 +
        #1086#1076#1099', '#1089' '#1082#1086#1090#1086#1088#1099#1084#1080' '#1087#1086#1082#1072' '#1085#1077' '#1103#1089#1085#1086', '#1095#1090#1086' '#1076#1077#1083#1072#1090#1100')'#13#10
    end
    object CXHCDI1JQDRNQOLVYFTTVEYNTG: TConstituent
      Draft = True
      CName = 'Tr1'
      Interpretation =
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080', '#1082#1086#1090#1086#1088#1072#1103' '#1085#1077' '#1103#1074#1083#1103#1077#1090#1089#1103' '#1085#1080' '#1074#1093#1086#1076#1103#1097#1077#1081', '#1085#1080' '#1074#1099#1093#1086#1076#1103 +
        #1097#1077#1081' ('#1085#1086#1074#1099#1077' '#1076#1072#1085#1085#1099#1077', '#1082#1086#1090#1086#1088#1099#1077' '#1085#1077' '#1091#1082#1083#1072#1076#1099#1074#1072#1102#1090#1089#1103' '#1085#1080' '#1074' '#1082#1072#1082#1086#1081' '#1080#1079' '#1089#1091#1097#1077#1089#1090#1074 +
        #1091#1102#1097#1080#1093' '#1096#1072#1073#1083#1086#1085#1086#1074', '#1082' '#1087#1088#1080#1084#1077#1088#1091' '#1087#1072#1088#1072#1076#1086#1082#1089' '#1080#1083#1080' '#1074#1099#1074#1086#1076#1099', '#1085#1077' '#1080#1084#1077#1102#1097#1080#1077' '#1086#1073#1086#1089#1085#1086 +
        #1074#1072#1085#1080#1103' '#1090'.'#1077'. '#1080#1085#1090#1091#1080#1094#1080#1103', '#1080#1085#1089#1072#1081#1090')'
    end
    object FZP4UIGV2341RWJ2UP4TSNTNXT: TConstituent
      Draft = True
      CName = 'Tr6'
      Interpretation =
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1096#1072#1073#1083#1086#1085#1086#1074', '#1085#1080#1082#1072#1082#1072#1103' '#1074#1093#1086#1076#1103#1097#1072#1103' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1103' '#1082#1086#1090#1086#1088#1099#1093' '#1085#1077' '#1103#1074#1083#1103#1077 +
        #1090#1089#1103' '#1074#1099#1093#1086#1076#1103#1097#1077#1081' '#1080#1079' '#1076#1088#1091#1075#1080#1093' '#1096#1072#1073#1083#1086#1085#1086#1074' ('#1082#1088#1072#1077#1074#1086#1081' '#1085#1072#1095#1072#1083#1100#1085#1099#1081' '#1096#1072#1073#1083#1086#1085')'
    end
    object DDC0HYGZB211ROYBZZPPXIOEUX: TConstituent
      Draft = True
      CName = 'Tr7'
      Interpretation =
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1096#1072#1073#1083#1086#1085#1086#1074', '#1085#1080#1082#1072#1082#1072#1103' '#1074#1099#1093#1086#1076#1103#1097#1072#1103' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1103' '#1082#1086#1090#1086#1088#1099#1093' '#1085#1077' '#1103#1074#1083#1103 +
        #1077#1090#1089#1103' '#1074#1093#1086#1076#1103#1097#1077#1081' '#1074' '#1076#1088#1091#1075#1080#1077' '#1096#1072#1073#1083#1086#1085#1099' ('#1082#1088#1072#1077#1074#1086#1081' '#1082#1086#1085#1077#1095#1085#1099#1081' '#1096#1072#1073#1083#1086#1085')'
    end
    object ARP1JJYRX0BSQOLNKUVXGINCZY: TConstituent
      Draft = True
      CName = 'Tr3'
      Interpretation =
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1096#1072#1073#1083#1086#1085#1086#1074', '#1091' '#1082#1086#1090#1086#1088#1099#1093' '#1074#1093#1086#1076#1103#1097#1072#1103' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1103' '#1087#1086#1083#1085#1086#1089#1090#1100#1102' '#1089#1086#1074#1087 +
        #1072#1076#1072#1077#1090' ('#1082#1086#1085#1082#1091#1088#1077#1085#1090#1085#1099#1077' '#1096#1072#1073#1083#1086#1085#1099')'
    end
    object EYG2V3L1LYDBRWZAM45ZEPLYRZ: TConstituent
      Draft = True
      CName = 'Tr4'
      Interpretation =
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1096#1072#1073#1083#1086#1085#1086#1074', '#1091' '#1082#1086#1090#1086#1088#1099#1093' '#1074#1093#1086#1076#1103#1097#1072#1103' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1103' '#1088#1072#1079#1083#1080#1095#1085#1072' ('#1085#1077#1082#1086 +
        #1085#1082#1091#1088#1077#1085#1090#1085#1099#1077')'
    end
    object D2H4DH5J3NJASCJO11AKCSAFIU: TConstituent
      Draft = True
      CName = 'Tr5'
      Interpretation =
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1096#1072#1073#1083#1086#1085#1086#1074', '#1091' '#1082#1086#1090#1086#1088#1099#1093' '#1074#1099#1093#1086#1076#1103#1097#1072#1103'  '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1103' '#1087#1086#1083#1085#1086#1089#1090#1100#1102' '#1089#1086 +
        #1074#1087#1072#1076#1072#1077#1090' '#1090'.'#1077'. '#1074#1099#1074#1086#1076#1099' '#1086#1076#1080#1085#1072#1082#1086#1074#1099
    end
    object CJ0IIKWV4G1OTW0Q1TSMV2DULW: TConstituent
      Draft = True
      CName = 'Tr6'
      Interpretation =
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088' '#1096#1072#1073#1083#1086#1085#1086#1074', '#1074' '#1082#1086#1090#1086#1088#1099#1093' '#1074#1089#1103' '#1074#1099#1093#1086#1076#1103#1097#1072#1103' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1103' '#1087#1077#1088#1074#1086 +
        #1075#1086' '#1096#1072#1073#1083#1086#1085#1072' '#1103#1074#1083#1103#1077#1090#1089#1103' '#1074#1089#1077#1081' '#1074#1093#1086#1076#1103#1097#1077#1081' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1077#1081' '#1074#1090#1086#1088#1086#1075#1086' '#1096#1072#1073#1083#1086#1085#1072' ('#1072 +
        #1073#1089#1086#1083#1102#1090#1085#1086' '#1087#1086#1089#1083#1077#1076#1086#1074#1072#1090#1077#1083#1100#1085#1099#1077' '#1096#1072#1073#1083#1086#1085#1099')'
    end
    object F5ZNWIJQ4M4MR2KQ4G2SVI3QGO: TConstituent
      Draft = True
      CName = 'Tr1'
      Interpretation =
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1096#1072#1073#1083#1086#1085', '#1075#1088#1091#1087#1087#1072' '#1096#1072#1073#1083#1086#1085#1086#1074' '#1074' '#1082#1086#1090#1086#1088#1099#1093' '#1095#1072#1089#1090#1100' '#1074#1093#1086#1076#1103#1097#1077#1081' ' +
        #1080#1085#1092#1086#1088#1084#1072#1094#1080#1080' '#1103#1074#1083#1103#1077#1090#1089#1103' '#1095#1072#1089#1090#1100#1102' '#1074#1099#1093#1086#1076#1103#1097#1077#1081' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080' '#1087#1077#1088#1074#1086#1075#1086' '#1096#1072#1073#1083#1086#1085#1072'(' +
        #1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1089#1083#1077#1076#1091#1102#1097#1080#1077' '#1096#1072#1073#1083#1086#1085#1099')'
    end
    object CN5XPGHBVZMHQK02DH0TIQFYWU: TConstituent
      Draft = True
      CName = 'Tr1'
      Interpretation =
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1096#1072#1073#1083#1086#1085', '#1075#1088#1091#1087#1087#1072' '#1096#1072#1073#1083#1086#1085#1086#1074' '#1074' '#1082#1086#1090#1086#1088#1099#1093' '#1095#1072#1089#1090#1100' '#1074#1099#1093#1086#1076#1103#1097#1077#1081 +
        ' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080' '#1103#1074#1083#1103#1077#1090#1089#1103' '#1095#1072#1089#1090#1100#1102' '#1074#1093#1086#1076#1103#1097#1077#1081' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080' '#1087#1077#1088#1074#1086#1075#1086' '#1096#1072#1073#1083#1086#1085#1072'(' +
        #1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1087#1088#1077#1076#1096#1077#1089#1090#1074#1091#1102#1097#1080#1077' '#1096#1072#1073#1083#1086#1085#1099')'#13#10
    end
    object FH3S3TDTOCTXSKIP52KMT4VYYO: TConstituent
      CName = 'D2'
      Expression = #8492'(X2'#215#8492'('#8492'(X1)'#215#8492'(X1))'#215#8492'('#8492'(X1)'#215#8492'(X1))'#215#8492'(X1))'
      Interpretation = 
        #1054#1090#1085#1086#1096#1077#1085#1080#1077' '#1075#1083#1091#1073#1080#1085#1099'. '#1063#1077#1090#1074#1077#1088#1082#1072': '#1089#1091#1073#1098#1077#1082#1090', '#1087#1077#1088#1074#1099#1081' '#1096#1072#1073#1083#1086#1085' '#1075#1083#1091#1073#1078#1077' '#1074#1090#1086#1088#1086 +
        #1075#1086', '#1074#1090#1086#1088#1086#1081' '#1096#1072#1073#1083#1086#1085', '#1086#1073#1097#1072#1103' '#1075#1088#1091#1087#1087#1072' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080
    end
    object H424CS1EMUN1SKZ4CIUFH1OKUI: TConstituent
      CName = 'Ax1'
      Expression = #8704' a'#8712'D2 (pr2(a)'#8712'D1) & (pr3(a)'#8712'D1)'
      Interpretation = #1042' '#1086#1090#1085#1086#1096#1077#1085#1080#1080' '#1075#1083#1091#1073#1080#1085#1099' '#1084#1086#1075#1091#1090' '#1091#1095#1072#1089#1090#1074#1086#1074#1072#1090#1100' '#1090#1086#1083#1100#1082#1086' '#1096#1072#1073#1083#1086#1085#1099
    end
    object F0OZZF5TZO0FQ2ITBRKF4QCWZO: TConstituent
      Draft = True
      CName = 'Ax2'
      Expression = #8704'a'#8712'D2, '#8707' b'#8712'pr2(a), '#8707' c'#8712'pr3(a) ((pr4(a))=(pr1(b))=(pr1(c)))'
      Interpretation = 
        #1043#1088#1091#1087#1087#1072' '#1086#1073#1097#1077#1081' '#1074#1093#1086#1076#1085#1086#1081' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080' '#1089#1086#1076#1077#1088#1078#1080#1090#1089#1103' '#1082#1072#1082' '#1074' '#1087#1077#1088#1074#1086#1084', '#1090#1072#1082' '#1080' '#1074 +
        #1086' '#1074#1090#1086#1088#1086#1084' '#1096#1072#1073#1083#1086#1085#1077
    end
    object CS0XGORW2IB4SAKIGQRJ3GHF4Q: TConstituent
      Draft = True
      CName = 'Ax1'
      Expression = #8704'x2'#8712'X2, '#8704'x1'#8712#8492#8492'('#8492'(X1)'#215#8492'(X1)) '#8704'x3'#8712#8492#8492'(X1) '#8658' (x2,x1,x1,x3)'#8713'D2 '
      Interpretation = #1040#1082#1089#1080#1086#1084#1072' '#1072#1085#1090#1080#1088#1077#1092#1083#1080#1082#1089#1080#1074#1085#1086#1089#1090#1080
    end
    object EG12R2KDN22FRY1KLP1EZLQI4P: TConstituent
      Draft = True
      CName = 'Tr6'
      Interpretation =
        #1057#1072#1084#1099#1081' '#1075#1083#1091#1073#1086#1082#1080#1081' '#1096#1072#1073#1083#1086#1085' '#1087#1086' '#1086#1090#1085#1086#1096#1077#1085#1080#1102' '#1082' '#1076#1072#1085#1085#1086#1081' '#1075#1088#1091#1087#1087#1077' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080' '#1076#1083 +
        #1103' '#1076#1072#1085#1085#1086#1075#1086' '#1089#1091#1073#1098#1077#1082#1090#1072' ('#1089#1090#1072#1085#1076#1072#1088#1090#1085#1086#1077' '#1084#1099#1096#1083#1077#1085#1080#1077' '#1076#1083#1103' '#1076#1072#1085#1085#1086#1075#1086' '#1089#1091#1073#1098#1077#1082#1090#1072')'
    end
    object CHH5FYSOKTLIQKLIWS5XK0S4OY: TConstituent
      Draft = True
      CName = 'Tr7'
      Interpretation =
        #1050#1086#1085#1082#1091#1088#1080#1088#1091#1102#1097#1080#1077' '#1096#1072#1073#1083#1086#1085#1099', '#1074#1089#1077' '#1074#1099#1074#1086#1076#1099' '#1082#1086#1090#1086#1088#1099#1093' '#1087#1088#1086#1090#1080#1074#1086#1088#1077#1095#1072#1090' '#1076#1088#1091#1075' '#1076#1088#1091#1075 +
        #1072
    end
    object H1VXDLSCHFYYQ2ZJZVDMYDPUA0: TConstituent
      Draft = True
      CName = 'Tr8'
      Interpretation =
        #1050#1086#1085#1082#1091#1088#1080#1088#1091#1102#1097#1080#1077' '#1096#1072#1073#1083#1086#1085#1099', '#1074#1089#1077' '#1074#1099#1074#1086#1076#1099' '#1082#1086#1090#1086#1088#1099#1093' '#1085#1077' '#1087#1088#1086#1090#1080#1074#1086#1088#1077#1095#1072#1090' '#1076#1088#1091#1075' '#1076 +
        #1088#1091#1075#1091
    end
  end
  object FKNSGKLJJC2RSS10C50DDWU214: TConceptualScheme
    Caption = #1057#1091#1073#1098#1077#1082#1090#1099' '#1089' '#1096#1072#1073#1083#1086#1085#1072#1084#1080
    PageIndex = 3
    object BG3IOUBZOP3HRCJDZV4FTSVZQR: TConstituent
      CName = 'X1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1091#1073#1098#1077#1082#1090#1086#1074
    end
    object AUZUUN11IV1NQG0YN1T4OOSVZB: TConstituent
      CName = 'X2'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1096#1072#1073#1083#1086#1085#1086#1074
    end
    object GJ0YVVK53E04ROIJQVB22BOFFG: TConstituent
      CName = 'D1'
      Expression = #8492'(X1'#215'X2)'
      Interpretation = #1057#1091#1073#1098#1077#1082#1090' '#1086#1073#1083#1072#1076#1072#1077#1090' '#1096#1072#1073#1083#1086#1085#1086#1084
    end
    object DC3HHYXRRUV2TIYEEXBITTU1AB: TConstituent
      CName = 'Ax1'
      Expression = #8704'x'#8712'X1, '#8707' y'#8712'X2 ((x,y)'#8712'D1)'
      Interpretation = #1059' '#1082#1072#1078#1076#1086#1075#1086' '#1089#1091#1073#1098#1077#1082#1090#1072' '#1085#1072#1081#1076#1077#1090#1089#1103' '#1093#1086#1090#1103' '#1073#1099' '#1086#1076#1080#1085' '#1096#1072#1073#1083#1086#1085
    end
    object EBVIQ1KWXRWFQMKMWMFFYCZFPV: TConstituent
      CName = 'Tr1'
      Expression = '{t '#8712'X1'#215#8492'(X2) | pr2(t)={x '#8712'X2 | (pr1(t),x)'#8712'D1}  }'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1091#1073#1098#1077#1082#1090', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1077#1075#1086' '#1096#1072#1073#1083#1086#1085#1086#1074
    end
    object FTZOZZ1NIKYYS4YFTKHKM4KZ4X: TConstituent
      CName = 'Tr4'
      Expression = '{t '#8712'X2'#215#8492'(X1) | pr2(t)={x '#8712'X1 | (x,pr1(t))'#8712'D1} }'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1096#1072#1073#1083#1086#1085', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1091#1073#1098#1077#1082#1090#1086#1074', '#1082#1086#1090#1086#1088#1099#1077' '#1080#1084' '#1086#1073#1083#1072#1076#1072#1102#1090
    end
    object D5QTKV4MZOWORC1BR1ZZ0Z3W51: TConstituent
      CName = 'Tr2'
      Expression = 'X2\Pr2(D1)'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1096#1072#1073#1083#1086#1085#1086#1074', '#1082#1086#1090#1086#1088#1099#1077' '#1085#1077' '#1087#1088#1080#1085#1072#1076#1083#1077#1078#1072#1090' '#1085#1080' '#1086#1076#1085#1086#1084#1091' '#1089#1091#1073#1098#1077#1082#1090#1091' ('#1085 +
        #1077#1086#1090#1082#1088#1099#1090#1099#1077' '#1080#1076#1077#1080')'
    end
    object HCUN1U0RR43XR0YQUFHGHZNUSQ: TConstituent
      CName = 'Tr7'
      Expression = 'Pr2(D1)'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1096#1072#1073#1083#1086#1085#1086#1074', '#1082#1086#1090#1086#1088#1099#1077' '#1087#1088#1080#1085#1072#1076#1083#1077#1078#1072#1090' '#1089#1091#1073#1098#1077#1082#1090#1072#1084' ('#1086#1090#1082#1088#1099#1090#1099#1077' '#1096#1072#1073#1083 +
        #1086#1085#1099')'
    end
    object GDPCQ10LB0JYRY0O2QQ12X4RGP: TConstituent
      CName = 'Tr5'
      Expression = '{t '#8712'X2 | '#8704'x'#8712'Tr1 (t'#8712'pr2(x)) }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1096#1072#1073#1083#1086#1085#1086#1074', '#1082#1086#1090#1086#1088#1099#1084#1080' '#1086#1073#1083#1072#1076#1072#1102#1090' '#1074#1089#1077' '#1089#1091#1073#1098#1077#1082#1090#1099' ('#1074#1088#1086#1078#1076#1077#1085#1085#1099#1077' '#1080 +
        #1085#1089#1090#1080#1085#1082#1090#1099')'
    end
    object CBXUCY0XU42VSWYFNKK54PRAPV: TConstituent
      CName = 'Tr11'
      Expression = '{t '#8712'X2 | '#8707'x'#8712'Tr4 ((pr1(x)=t)  &  (card(pr2(x))=1)) }'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1091#1085#1080#1082#1072#1083#1100#1085#1099#1093' '#1096#1072#1073#1083#1086#1085#1086#1074
    end
    object DJKWEKPL0ACGSKYTH53V4ZKKTR: TConstituent
      CName = 'Tr6'
      Expression = 
        '{t '#8712'X2'#215'X2 | '#8707'x'#8712'Tr4, '#8707'y'#8712'Tr4  (pr1(t)=pr1(x)) & (pr2(t)=pr1(y)) & ' +
        '(card(pr2(x))>card(pr2(y))) }'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1096#1072#1073#1083#1086#1085', '#1084#1077#1085#1077#1077' '#1087#1086#1087#1091#1083#1103#1088#1085#1099#1081' '#1096#1072#1073#1083#1086#1085
    end
    object FPBYGTYNMQLJS2YFEVAVQKAAPT: TConstituent
      CName = 'Tr8'
      Expression = '{t '#8712'X2 | '#8704'x'#8712'Tr7 ((x,t)'#8713'Tr6)}'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1072#1084#1099#1093' '#1087#1086#1087#1091#1083#1103#1088#1085#1099#1093' '#1096#1072#1073#1083#1086#1085#1086#1074' ('#1089#1072#1084#1099#1077' '#1088#1072#1089#1087#1088#1086#1089#1090#1088#1072#1085#1077#1085#1085#1099#1077')'
    end
    object BM2RLOI5F4P1TIJO2J3PIIG1FY: TConstituent
      CName = 'Tr10'
      Expression = '{t '#8712' '#8492'(X1)'#215#8492'(X2)  | pr2(t)={x '#8712'X2 | (x,pr1(t))'#8712'Tr4 }     }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1091#1073#1098#1077#1082#1090#1086#1074', '#1080#1093' '#1086#1073#1097#1080#1077' '#1096#1072#1073#1083#1086#1085#1099' ('#1086#1073#1097#1077#1077' '#1074' '#1075#1088 +
        #1091#1087#1087#1077' '#1089#1091#1073#1098#1077#1082#1090#1086#1074')'
    end
    object AK4FLOERNTKLTQYQNIABKTXB23: TConstituent
      CName = 'Tr12'
      Expression = 
        '{t '#8712' '#8492'(X1)'#215#8492'(X2)  |  '#8704'x'#8712'(X1\pr1(t)) , '#8704'y'#8712'pr2(t)  ((x,y) '#8713'D1)& (t' +
        #8712'Tr10) }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1091#1073#1098#1077#1082#1090#1086#1074', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1080#1093' '#1086#1073#1097#1080#1093' '#1096#1072#1073#1083#1086#1085#1086#1074',' +
        ' '#1085#1080' '#1086#1076#1085#1080#1084' '#1080#1079' '#1082#1086#1090#1086#1088#1099#1093' '#1085#1077' '#1086#1073#1083#1072#1076#1072#1077#1090' '#1085#1080' '#1086#1076#1080#1085' '#1076#1088#1091#1075#1086#1081' '#1089#1091#1073#1098#1077#1082#1090' ('#1096#1072#1073#1083#1086#1085#1099 +
        ' '#1091#1085#1080#1082#1072#1083#1100#1085#1099' '#1089' '#1090#1086#1095#1082#1080' '#1079#1088#1077#1085#1080#1103' '#1075#1088#1091#1087#1087#1099' '#1090'.'#1077'. '#1089#1077#1082#1090#1072') '
    end
    object E4BJ1L3IQO4BQAKSNBI4RAVDMB: TConstituent
      CName = 'Tr13'
      Expression = 
        '{ t'#8712#8492'(X1)'#215#8492'(X2) |  '#8704' x'#8712'pr1(t), '#8704'y'#8712'X2\pr2(t)  ((x,y) '#8713'D1)& (t'#8712'Tr1' +
        '0) }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1091#1073#1098#1077#1082#1090#1086#1074' '#1089' '#1087#1086#1083#1085#1086#1089#1090#1100#1102' '#1089#1086#1074#1087#1072#1076#1072#1102#1097#1080#1084#1080' '#1096#1072#1073#1083 +
        #1086#1085#1072#1084#1080', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1096#1072#1073#1083#1086#1085#1086#1074' ('#1080#1076#1080#1077#1085#1090#1080#1095#1085#1072#1103' '#1075#1088#1091#1087#1087#1072' '#1077#1076#1080#1085#1086#1084#1099#1096#1083#1077#1085#1085#1080#1082#1086#1074')'
    end
    object BGME5R2ELYHWQ4ZHQAEHM54FK5: TConstituent
      CName = 'Tr14'
      Expression = 
        '{ t'#8712#8492'(X1) |  '#8704' x'#8712't, '#8704'y'#8712't, '#8704'm'#8712'Tr1, '#8704'n'#8712'Tr1  (pr1(m)=x ) &  (pr1(n)' +
        '=y ) & ((pr2(m)'#8745'pr2(n))='#8709')}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1075#1088#1091#1087#1087' '#1089#1091#1073#1098#1077#1082#1090#1086#1074' '#1089' '#1072#1073#1089#1086#1083#1102#1090#1085#1086' '#1088#1072#1079#1083#1080#1095#1085#1099#1084#1080' '#1096#1072#1073#1083#1086#1085#1072#1084#1080' ('#1072#1073#1089#1086 +
        #1083#1102#1090#1085#1086' '#1088#1072#1079#1083#1080#1095#1085#1072#1103' '#1075#1088#1091#1087#1087#1072' '#1077#1076#1080#1085#1086#1084#1099#1096#1083#1077#1085#1085#1080#1082#1086#1074')'#13#10
    end
    object GQMKRM4B1VBGRGIECYSGTMNGZQ: TConstituent
      CName = 'Tr15'
      Expression = 
        '{t '#8712'X1'#215'X1 | '#8707'x'#8712'Tr1, '#8707'y'#8712'Tr1  (pr1(t)=pr1(x)) & (pr2(t)=pr1(y)) & ' +
        '(card(pr2(x))'#8805'card(pr2(y))) }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088' '#1089#1091#1073#1098#1077#1082#1090#1086#1074', '#1087#1077#1088#1074#1099#1081' '#1086#1073#1083#1072#1076#1072#1077#1090' '#1073#1086#1083#1100#1096#1080#1084' '#1082#1086#1083#1080#1095#1077#1089#1090#1074#1086#1084' '#1096#1072#1073 +
        #1083#1086#1085#1086#1074', '#1095#1077#1084' '#1076#1088#1091#1075#1086#1081' ('#1073#1086#1083#1077#1077' '#1088#1072#1079#1085#1086#1089#1090#1086#1088#1086#1085#1085#1080#1081')'
    end
    object A2AEJRRPFOF1QQLWVW0DGSCA4Y: TConstituent
      CName = 'Tr16'
      Expression = '{t '#8712' '#8492'(X1)'#215'X1| '#8704'x'#8712'(pr1(t)\bool(pr2(t))) ((pr2(t),x)'#8712'Tr15)   }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1091#1073#1098#1077#1082#1090#1086#1074', '#1085#1072#1080#1073#1086#1083#1077#1077' '#1088#1072#1079#1085#1086#1089#1090#1086#1088#1086#1085#1085#1080#1081' '#1080#1079' '#1101 +
        #1090#1086#1075#1086' '#1084#1085#1086#1078#1077#1089#1090#1074#1072' ('#1089#1072#1084#1099#1081' '#1087#1088#1086#1076#1074#1080#1085#1091#1090#1099#1081')'
    end
    object FFT4OQQQGIE2RI1GWTUEAVSGG3: TConstituent
      CName = 'Tr17'
      Expression = '{t '#8712' '#8492'(X1)'#215'X1| '#8704'x'#8712'(pr1(t)\bool(pr2(t))) ((x,pr2(t))'#8712'Tr15)   }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1091#1073#1098#1077#1082#1090#1086#1074', '#1085#1072#1080#1084#1077#1085#1077#1077' '#1088#1072#1079#1085#1086#1089#1090#1086#1088#1086#1085#1085#1080#1081' '#1080#1079' '#1101 +
        #1090#1086#1075#1086' '#1084#1085#1086#1078#1077#1089#1090#1074#1072' ('#1085#1072#1080#1084#1077#1085#1077#1077' '#1087#1088#1086#1076#1074#1080#1085#1091#1090#1099#1081')'
    end
    object AIPS2ITM3MTKTC0TPNLSLQT5CV: TConstituent
      Draft = True
      CName = 'Tr19'
      Expression =
        '{ t '#8712' '#8492'(X1)'#215'X1 | '#8707'x'#8712'Tr21, '#8704' y'#8712'Tr21  (pr1(x)=pr1(t)) & (pr2(x)=pr' +
        '2(t)) & (pr1(y)=pr1(t)) & (pr2(y)'#8800'pr2(t)) & (card(pr3(x))>card(p' +
        'r3(y))) }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1091#1073#1098#1077#1082#1090#1086#1074', '#1085#1072#1080#1073#1086#1083#1077#1077' '#1091#1085#1080#1082#1072#1083#1100#1085#1099#1081' '#1080#1079' '#1101#1090#1086#1075#1086 +
        ' '#1084#1085#1086#1078#1077#1089#1090#1074#1072' '#1089#1091#1073#1098#1077#1082#1090' ('#1089#1072#1084#1099#1081' '#1091#1085#1080#1082#1072#1083#1100#1085#1099#1081' '#1087#1086' '#1086#1090#1085#1086#1096#1077#1085#1080#1102' '#1082' '#1075#1088#1091#1087#1087#1077')'
    end
    object EZBNBGJX1CTWTS0N0URMR5OEE0: TConstituent
      CName = 'Tr20'
      Expression = 
        '{t '#8712' '#8492'(X1)'#215'X1'#215'X2|   '#8704'y'#8712'(pr1(t)\(bool(pr2(t)))) ((y,pr3(t))'#8713'D1) &' +
        ' ((pr2(t),pr3(t))'#8712'D1) & (pr2(t)'#8712'pr1(t))}'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1090#1088#1086#1077#1082': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1091#1073#1098#1077#1082#1090#1086#1074', '#1089#1091#1073#1098#1077#1082#1090' '#1080#1079' '#1101#1090#1086#1081' '#1075#1088#1091#1087#1087#1099',  '#1091 +
        #1085#1080#1082#1072#1083#1100#1085#1099#1081' '#1087#1086' '#1086#1090#1085#1086#1096#1077#1085#1080#1102' '#1082' '#1075#1088#1091#1087#1087#1077' '#1096#1072#1073#1083#1086#1085', '#1087#1088#1080#1085#1072#1076#1083#1077#1078#1072#1097#1080#1081' '#1089#1091#1073#1098#1077#1082#1090#1091
    end
    object HW2Q31MLDOOFTSKEV4C5TRFH1Y: TConstituent
      Draft = True
      CName = 'Tr22'
      Expression =
        '{t '#8712' '#8492'(X1)'#215'X1'#215#8492'(X2)|  pr3(t)={x '#8712' X2| ((pr1(t),pr2(t),x)'#8712'Tr20 ) ' +
        '   }   }'
      Interpretation = 
        #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1090#1088#1086#1077#1082': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1091#1073#1098#1077#1082#1090#1086#1074', '#1089#1091#1073#1098#1077#1082#1090' '#1080#1079' '#1101#1090#1086#1081' '#1075#1088#1091#1087#1087#1099', '#1084#1085 +
        #1086#1078#1077#1089#1090#1074#1086' '#1091#1085#1080#1082#1072#1083#1100#1085#1099#1093' '#1087#1086' '#1086#1090#1085#1086#1096#1077#1085#1080#1102' '#1082' '#1075#1088#1091#1087#1087#1077' '#1096#1072#1073#1083#1086#1085#1086#1074', '#1087#1088#1080#1085#1072#1076#1083#1077#1078#1072#1097#1080#1093 +
        ' '#1089#1091#1073#1098#1077#1082#1090#1091
    end
  end
  object ECPLASSPPU3RTUZTRYLO3NXDNW: TConceptualScheme
    Caption = #1057#1093#1077#1084#1072' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080
    PageIndex = 1
    object CMP450LLIX05TQKH3541HACRAV: TConstituent
      CName = 'X1'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1101#1083#1077#1084#1077#1085#1090#1072#1088#1085#1086#1081' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080
    end
    object AX5OZQXNL1H2RGLGRROB1LYCKO: TConstituent
      CName = 'D1'
      Expression = #8492'(X1'#215'X1)'
      Interpretation = #1054#1090#1085#1086#1096#1077#1085#1080#1077' '#1087#1088#1086#1090#1080#1074#1086#1088#1077#1095#1080#1103' '
    end
    object H0OU4NEOCN3PQ21W43OKZMPTRJ: TConstituent
      CName = 'Ax1'
      Expression = #8704'd'#8712'D1 (pr1(d)'#8800'pr2(d))'
      Interpretation = #1054#1090#1085#1086#1096#1077#1085#1080#1077' '#1072#1085#1090#1080#1088#1077#1092#1083#1077#1082#1089#1080#1074#1085#1086
    end
    object CEQZH31ZGOSIQG1Q2CN1NQPCQ4: TConstituent
      CName = 'Ax2'
      Expression = #8704'x1'#8712'X1, '#8704'x2'#8712'X1 ((x1,x2)'#8712'D1) '#8658'((x2,x1)'#8712'D1)'
      Interpretation = #1054#1090#1085#1086#1096#1077#1085#1080#1077' '#1089#1080#1084#1084#1077#1090#1088#1080#1095#1085#1086
    end
    object CRYZQLF5GZK3SI1VC1BDODNWHM: TConstituent
      CName = 'Ax3'
      Expression = 
        #8704'x1'#8712'X1, '#8704'x2'#8712'X1, '#8704'x3'#8712'X1 ((((x1,x2)'#8712'D1) &((x2,x3)'#8712'D1)) '#8658'((x1,x3)'#8712'D' +
        '1))'
      Interpretation = 
        #1054#1090#1085#1086#1096#1077#1085#1080#1077' '#1090#1088#1072#1085#1079#1080#1090#1080#1074#1085#1086' ('#1084#1086#1075#1091#1090' '#1083#1080' '#1087#1088#1086#1090#1080#1074#1086#1088#1077#1095#1080#1090#1100', '#1085#1086' '#1087#1086' '#1088#1072#1079#1085#1099#1084' '#1072#1089#1087#1077 +
        #1082#1090#1072#1084')'
    end
    object CZBOXXWGJFFQRGJGXHCGRR2ONG: TConstituent
      CName = 'Tr1'
      Expression = '{ t'#8712'X1 | '#8704'x'#8712'X1 ((t,x)'#8713'D1)}'
      Interpretation = #1040#1073#1089#1086#1083#1102#1090#1085#1086' '#1085#1077#1087#1088#1086#1090#1080#1074#1086#1088#1077#1095#1080#1074#1072#1103' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1103
    end
    object BIVD32NBLHZTRULAKZMDA03YEA: TConstituent
      Draft = True
      CName = 'Tr4'
      Interpretation = #1040#1073#1089#1086#1083#1102#1090#1085#1086' '#1087#1088#1086#1090#1080#1074#1086#1088#1077#1095#1080#1074#1072#1103' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1103' ('#1087#1088#1086#1090#1080#1074#1086#1088#1077#1095#1080#1090' '#1074#1089#1077#1084')'
    end
    object EVR3SQLPI0UNSM03GEZOHWO0O1: TConstituent
      Draft = True
      CName = 'Tr2'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1103', '#1087#1088#1086#1090#1080#1074#1086#1088#1077#1095#1080#1074#1099#1081' '#1077#1081' '#1085#1072#1073#1086#1088' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080
    end
    object FXNDBBFGMYLRT0ZSXCMYVTQ0US: TConstituent
      Draft = True
      CName = 'Tr3'
      Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1103', '#1085#1077#1087#1088#1086#1090#1080#1074#1086#1088#1077#1095#1080#1074#1099#1081' '#1077#1081' '#1085#1072#1073#1086#1088' '#1080#1085#1092#1086#1088#1084#1072#1094#1080#1080
    end
  end
end
